The Pico Lightweight Coring Auger

A Note on Coring Extensions

A notion of a coring extension is defined and it is shown to be equivalent to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions...

Pico: Automatically Designing Custom Computers Pico Architecture Synthesis System

architecture specifications Figure 3. PICO’s hierarchical design flow.

Rotary Sidewall Coring—Size Matters

Pico: No More Passwords!

iv List of Figures and Tables v

Pico Without Public Keys

Pico is a user authentication system that does not require remembering secrets. It is based on a personal handheld token that holds the user’s credentials and that is unlocked by a “personal aura” generated by digital accessories worn by the owner. The token, acting as prover, engages in a public-key-based authentication protocol with the verifier. What would happen to Pico if success of the my...